Aide à la recherche   Requête : fonction récursive

40 fiches trouvées

Reponses 21 à 40

21	2003 Sciences Sup. Logique mathématique. V. 2.
22	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
23	2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
24	2002 Eléments de mathématiques discrètes.
25	2002 Théorèmes d'incomplétude de Gödel.
26	2000 Tangente Sup. N° 7. p. 34-37. L'oasis de ...
27	1999 A history of algorithms: From the pebble to the microchip.
28	1999 Information, complexité et hasard.
29	1995 Histoire d'algorithmes. Du caillou à la puce.
30	1995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
31	1995 La machine de Turing.
32	1995 La machine de Turing.
33	1995 Revue d'histoire des mathématiques. N° 1. Vol. 2. p. 271-305. L'école constructive de Markov.
34	1994 Information, complexité et hasard.
35	1994 Mathématiques constructives.
36	1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
37	1993 Sciences Sup. Logique mathématique. V. 2.
38	1991 L'Ouvert. N° 65.
39	1991 L'Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable - la thèse de Church / Post.
40	1989 Le théorème de Gödel.